More from this Author

Automated Deduction in Geometry

by Hoon Hong (Editor), Stefano Spaccapietra (Volume Editor), Dongming Wang (Editor)